Case(${\it value}$) ${\it body}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it body}$(${\it value}$,${\it value}$)